Feeds to Scour
SubscribedAll
Scoured 19418 posts in 507.3 ms
Private Data Space Model
privatedata.spaceΒ·2d
βœ…Format Verification
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
βœ…Archive Validation
C and C++ dependencies, don't dream it, be it!
nibblestew.blogspot.comΒ·7hΒ·
Discuss: Hacker News, nibblestew.blogspot.com
πŸ”—Dependency Resolution
But .me can reveal actual values pulled from secret context without revealing the secret context.
dev.toΒ·3hΒ·
Discuss: DEV
🦠Parasitic Archives
QNAP Unifies Backup and Object Storage with myQNAPcloud One
storagereview.comΒ·5h
πŸ•ΈοΈMesh Archiving
Declarative, Reproducible Emacs
irreal.orgΒ·9h
🧩Shell Metaprogramming
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.orgΒ·1d
🧠Separation Logic
Building "zero-gap" secrets for a UGC platform
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸ§ͺBinary Fuzzing
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.comΒ·1d
🀝Consensus Protocols
DCP-o-matic β€’ Re: CPL as compositions and multiple CPLs
dcpomatic.comΒ·23h
βœ…CDDL Validation
philipl/pifs: Ο€fs - the data-free filesystem!
github.comΒ·8hΒ·
Discuss: Hacker News
🌐IPFS
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.ioΒ·9h
πŸ¦€Rust Macros
Synthesizing scientific literature with retrieval-augmented language models
nature.comΒ·1d
πŸ”Information Retrieval
Revisiting Regular Types
abseil.ioΒ·2h
Ξ»Lambda Encodings
stdlib v7.2
erlang.orgΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rusty Databases
Same Surface, Different Weight
robpanico.comΒ·10hΒ·
Discuss: Hacker News
🎯Gradual Typing
FreeBSD audio diagnostics and optimization
discoverbsd.comΒ·2d
πŸ”ŒOperating system internals
Rsync is better than every backup GUI I've tried
xda-developers.comΒ·7h
πŸ“ŠDifferential Backup
Build a Compiler in Five Projects
kmicinski.comΒ·15h
πŸ”¨Compilers
Continual learning and the post monolith AI era
baseten.coΒ·1dΒ·
Discuss: Hacker News
πŸ“ΌTape Combinators

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help